Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
351	Appendix: Monetary Policy Drivers of Bond and Equity Risks John Y. Campbell, Carolin Pflueger, and Luis M. Viceira1 First draft: March 2012 Add to Reading List Source URL: scholar.harvard.edu Language: English - Date: 2014-04-22 13:11:22 Logical consequence Metalogic Philosophical logic Logic Deduction Entailment
352	A Phrase-Based Alignment Model for Natural Language Inference Bill MacCartney, Michel Galley, Christopher D. Manning Natural Language Processing Group, Stanford University {wcmac,mgalley,manning}@stanford.edu Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-09-15 23:53:40 Machine translation Logical consequence Computational linguistics Natural language processing Bitext word alignment Knowledge representation Statistical machine translation Textual entailment WordNet Science Logic Linguistics
353	Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-05-06 21:18:00 Monotonicity of entailment Entailment Inference First-order logic Formal semantics Monotonic function Argument Semantic reasoner Logic Logical consequence Textual entailment
354	NATURAL LANGUAGE INFERENCE A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2009-06-05 13:28:45 Textual entailment Entailment Monotonicity of entailment Formal semantics Inference Implicature Argument Logic Logical consequence Science
355	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-10-09 13:21:20 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
356	Incremental Verification of Compiler Optimizations? Grigory Fedyukovich1 , Arie Gurfinkel2 , and Natasha Sharygina1 1 University of Lugano, Switzerland, Add to Reading List Source URL: verify.inf.usi.ch Language: English - Date: 2014-06-13 07:35:01 Logical consequence Logical syntax Metalogic Symbol Μ operator Logic Deduction Entailment
357	Learning Alignments and Leveraging Natural Logic Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Compu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-10-09 18:25:59 Knowledge Textual entailment Inference Entailment Bitext word alignment Monotonicity of entailment Abductive reasoning Machine learning Alignment Logic Logical consequence Science
358	PDF Document Add to Reading List Source URL: www.greenbag.org Language: English - Date: 2014-09-23 00:27:06 Logical consequence Motion Federal Rules of Civil Procedure Lawsuit Civil procedure Taxation in the United States Frivolous litigation Law Arguments Critical thinking
359	Modeling Semantic Containment and Exclusion in Natural Language Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-05-30 18:00:51 Textual entailment Entailment Monotonicity of entailment Inference Generalized quantifier Semantic reasoner Argument Implicature Monotonic function Logic Logical consequence Science
360	RED MASTER ART 5".no bleed12 Add to Reading List Source URL: storyworks.scholastic.com Language: English - Date: 2014-10-09 17:54:07 Logical consequence Affect Knowledge Logic Reasoning Inference

UPDATE